package tarantula.experiment.timeandmoney;

import junit.framework.TestCase;

public class TimeAndMoneyFailedTestsSimpleTest extends TestCase {
	public void test1() throws Throwable {

	    java.lang.Integer var0 = new java.lang.Integer(0);
	    com.domainlanguage.time.TimePoint var1 = com.domainlanguage.time.TimePoint.atGMT((int)var0, (int)var0, (int)var0, (int)var0, (int)var0, (int)var0, (int)var0);
	    com.domainlanguage.time.TimeInterval var2 = com.domainlanguage.time.TimeInterval.everFrom(var1);
	    
	    // Checks the contract:  var2.equals(var2)
	    assertTrue("Contract failed: var2.equals(var2)", var2.equals(var2));

	  }

	  public void test2() throws Throwable {

	    java.lang.Integer var0 = new java.lang.Integer(0);
	    com.domainlanguage.time.TimePoint var1 = com.domainlanguage.time.TimePoint.atGMT((int)var0, (int)var0, (int)var0, (int)var0, (int)var0, (int)var0, (int)var0);
	    com.domainlanguage.time.TimeInterval var2 = com.domainlanguage.time.TimeInterval.everPreceding(var1);
	    
	    // Checks the contract:  var2.equals(var2)
	    assertTrue("Contract failed: var2.equals(var2)", var2.equals(var2));

	  }

	  public void test3() throws Throwable {

	    java.lang.Integer var0 = new java.lang.Integer(0);
	    com.domainlanguage.time.TimePoint var1 = com.domainlanguage.time.TimePoint.atGMT((int)var0, (int)var0, (int)var0, (int)var0, (int)var0, (int)var0, (int)var0);
	    com.domainlanguage.time.TimeInterval var2 = com.domainlanguage.time.TimeInterval.everFrom(var1);
	    
	    // Checks the contract:  var2.equals(var2)
	    assertTrue("Contract failed: var2.equals(var2)", var2.equals(var2));

	  }

	  public void test4() throws Throwable {

	    java.lang.Integer var0 = new java.lang.Integer(0);
	    com.domainlanguage.time.TimePoint var1 = com.domainlanguage.time.TimePoint.atGMT((int)var0, (int)var0, (int)var0, (int)var0, (int)var0, (int)var0, (int)var0);
	    com.domainlanguage.time.TimeInterval var2 = com.domainlanguage.time.TimeInterval.everPreceding(var1);
	    
	    // Checks the contract:  var2.equals(var2)
	    assertTrue("Contract failed: var2.equals(var2)", var2.equals(var2));

	  }

	  public void test5() throws Throwable {

	    java.lang.Integer var0 = new java.lang.Integer(0);
	    com.domainlanguage.time.TimePoint var1 = com.domainlanguage.time.TimePoint.atGMT((int)var0, (int)var0, (int)var0, (int)var0, (int)var0, (int)var0, (int)var0);
	    com.domainlanguage.time.TimeInterval var2 = com.domainlanguage.time.TimeInterval.everFrom(var1);
	    
	    // Checks the contract:  var2.equals(var2)
	    assertTrue("Contract failed: var2.equals(var2)", var2.equals(var2));

	  }

	  public void test6() throws Throwable {

	    java.lang.Integer var0 = new java.lang.Integer(100);
	    com.domainlanguage.time.Duration var1 = com.domainlanguage.time.Duration.days((int)var0);
	    java.lang.Integer var2 = new java.lang.Integer(0);
	    com.domainlanguage.time.Duration var3 = com.domainlanguage.time.Duration.days((int)var2);
	    com.domainlanguage.time.Duration var4 = var1.minus(var3);
	    
	    // Checks the contract:  equals-hashcode on var1 and var4
	    assertTrue("Contract failed: equals-hashcode on var1 and var4", var1.equals(var4) ? var1.hashCode() == var4.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var4 and var1
	    assertTrue("Contract failed: equals-hashcode on var4 and var1", var4.equals(var1) ? var4.hashCode() == var1.hashCode() : true);

	  }

	  public void test7() throws Throwable {

	    java.lang.Integer var0 = new java.lang.Integer(0);
	    java.lang.Integer var1 = new java.lang.Integer(1);
	    com.domainlanguage.time.Duration var2 = com.domainlanguage.time.Duration.days((int)var0);
	    com.domainlanguage.time.Duration var3 = com.domainlanguage.time.Duration.minutes((int)var1);
	    com.domainlanguage.time.Duration var4 = var2.plus(var3);
	    
	    // Checks the contract:  equals-hashcode on var3 and var4
	    assertTrue("Contract failed: equals-hashcode on var3 and var4", var3.equals(var4) ? var3.hashCode() == var4.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var4 and var3
	    assertTrue("Contract failed: equals-hashcode on var4 and var3", var4.equals(var3) ? var4.hashCode() == var3.hashCode() : true);

	  }

	  public void test8() throws Throwable {

	    java.lang.Integer var0 = new java.lang.Integer(0);
	    com.domainlanguage.time.TimePoint var1 = com.domainlanguage.time.TimePoint.atGMT((int)var0, (int)var0, (int)var0, (int)var0, (int)var0, (int)var0, (int)var0);
	    com.domainlanguage.time.TimeInterval var2 = com.domainlanguage.time.TimeInterval.everPreceding(var1);
	    
	    // Checks the contract:  var2.equals(var2)
	    assertTrue("Contract failed: var2.equals(var2)", var2.equals(var2));

	  }

	  public void test9() throws Throwable {

	    java.lang.Integer var0 = new java.lang.Integer(0);
	    com.domainlanguage.time.TimePoint var1 = com.domainlanguage.time.TimePoint.atGMT((int)var0, (int)var0, (int)var0, (int)var0, (int)var0, (int)var0, (int)var0);
	    com.domainlanguage.time.TimeInterval var2 = com.domainlanguage.time.TimeInterval.everPreceding(var1);
	    
	    // Checks the contract:  var2.equals(var2)
	    assertTrue("Contract failed: var2.equals(var2)", var2.equals(var2));

	  }

	  public void test10() throws Throwable {

	    java.lang.Integer var0 = new java.lang.Integer(0);
	    com.domainlanguage.time.TimePoint var1 = com.domainlanguage.time.TimePoint.atGMT((int)var0, (int)var0, (int)var0, (int)var0, (int)var0, (int)var0, (int)var0);
	    com.domainlanguage.time.TimeInterval var2 = com.domainlanguage.time.TimeInterval.everPreceding(var1);
	    
	    // Checks the contract:  var2.equals(var2)
	    assertTrue("Contract failed: var2.equals(var2)", var2.equals(var2));

	  }

	  public void test11() throws Throwable {

	    java.lang.Integer var0 = new java.lang.Integer(0);
	    java.lang.Integer var1 = new java.lang.Integer(100);
	    com.domainlanguage.time.TimePoint var2 = com.domainlanguage.time.TimePoint.atGMT((int)var0, (int)var0, (int)var0, (int)var0, (int)var0, (int)var0, (int)var0);
	    com.domainlanguage.time.Duration var3 = com.domainlanguage.time.Duration.hours((int)var1);
	    com.domainlanguage.time.TimeInterval var4 = com.domainlanguage.time.TimeInterval.preceding(var2, var3);
	    com.domainlanguage.time.Duration var5 = var4.length();
	    
	    // Checks the contract:  equals-hashcode on var3 and var5
	    assertTrue("Contract failed: equals-hashcode on var3 and var5", var3.equals(var5) ? var3.hashCode() == var5.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var5 and var3
	    assertTrue("Contract failed: equals-hashcode on var5 and var3", var5.equals(var3) ? var5.hashCode() == var3.hashCode() : true);

	  }

	  public void test12() throws Throwable {

	    java.lang.Double var0 = new java.lang.Double(0.0d);
	    java.lang.Integer var1 = new java.lang.Integer(1);
	    com.domainlanguage.time.Duration var2 = com.domainlanguage.time.Duration.seconds((int)var1);
	    com.domainlanguage.time.TimeRate var3 = new com.domainlanguage.time.TimeRate(var0, var2);
	    com.domainlanguage.time.TimeRate var4 = new com.domainlanguage.time.TimeRate(var0, var2);
	    boolean var5 = var3.equals(var3);
	    
	    // Checks the contract:  equals-hashcode on var3 and var4
	    assertTrue("Contract failed: equals-hashcode on var3 and var4", var3.equals(var4) ? var3.hashCode() == var4.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var4 and var3
	    assertTrue("Contract failed: equals-hashcode on var4 and var3", var4.equals(var3) ? var4.hashCode() == var3.hashCode() : true);

	  }

	  public void test13() throws Throwable {

	    java.lang.Integer var0 = new java.lang.Integer(0);
	    com.domainlanguage.time.TimePoint var1 = com.domainlanguage.time.TimePoint.atGMT((int)var0, (int)var0, (int)var0, (int)var0, (int)var0, (int)var0, (int)var0);
	    com.domainlanguage.time.TimeInterval var2 = com.domainlanguage.time.TimeInterval.everPreceding(var1);
	    
	    // Checks the contract:  var2.equals(var2)
	    assertTrue("Contract failed: var2.equals(var2)", var2.equals(var2));

	  }

	  public void test14() throws Throwable {

	    java.lang.Integer var0 = new java.lang.Integer(0);
	    com.domainlanguage.time.TimePoint var1 = com.domainlanguage.time.TimePoint.atGMT((int)var0, (int)var0, (int)var0, (int)var0, (int)var0, (int)var0, (int)var0);
	    com.domainlanguage.time.TimeInterval var2 = com.domainlanguage.time.TimeInterval.everPreceding(var1);
	    
	    // Checks the contract:  var2.equals(var2)
	    assertTrue("Contract failed: var2.equals(var2)", var2.equals(var2));

	  }

	  public void test15() throws Throwable {

	    java.lang.Integer var0 = new java.lang.Integer(0);
	    com.domainlanguage.time.TimePoint var1 = com.domainlanguage.time.TimePoint.atGMT((int)var0, (int)var0, (int)var0, (int)var0, (int)var0, (int)var0, (int)var0);
	    com.domainlanguage.time.TimeInterval var2 = com.domainlanguage.time.TimeInterval.everFrom(var1);
	    
	    // Checks the contract:  var2.equals(var2)
	    assertTrue("Contract failed: var2.equals(var2)", var2.equals(var2));

	  }

	  public void test16() throws Throwable {

	    java.lang.Integer var0 = new java.lang.Integer(0);
	    com.domainlanguage.time.TimePoint var1 = com.domainlanguage.time.TimePoint.atGMT((int)var0, (int)var0, (int)var0, (int)var0, (int)var0, (int)var0, (int)var0);
	    com.domainlanguage.time.TimeInterval var2 = com.domainlanguage.time.TimeInterval.everPreceding(var1);
	    
	    // Checks the contract:  var2.equals(var2)
	    assertTrue("Contract failed: var2.equals(var2)", var2.equals(var2));

	  }

	  public void test17() throws Throwable {

	    java.lang.Double var0 = new java.lang.Double(0.0d);
	    java.lang.Integer var1 = new java.lang.Integer(1);
	    com.domainlanguage.time.Duration var2 = com.domainlanguage.time.Duration.seconds((int)var1);
	    com.domainlanguage.time.TimeRate var3 = new com.domainlanguage.time.TimeRate(var0, var2);
	    com.domainlanguage.time.TimeRate var4 = new com.domainlanguage.time.TimeRate(var0, var2);
	    boolean var5 = var3.equals(var3);
	    
	    // Checks the contract:  equals-hashcode on var3 and var4
	    assertTrue("Contract failed: equals-hashcode on var3 and var4", var3.equals(var4) ? var3.hashCode() == var4.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var4 and var3
	    assertTrue("Contract failed: equals-hashcode on var4 and var3", var4.equals(var3) ? var4.hashCode() == var3.hashCode() : true);

	  }

	  public void test18() throws Throwable {

	    java.lang.Double var0 = new java.lang.Double(0.0d);
	    java.lang.Integer var1 = new java.lang.Integer(1);
	    com.domainlanguage.time.Duration var2 = com.domainlanguage.time.Duration.seconds((int)var1);
	    com.domainlanguage.time.TimeRate var3 = new com.domainlanguage.time.TimeRate(var0, var2);
	    com.domainlanguage.time.TimeRate var4 = new com.domainlanguage.time.TimeRate(var0, var2);
	    boolean var5 = var3.equals(var3);
	    
	    // Checks the contract:  equals-hashcode on var3 and var4
	    assertTrue("Contract failed: equals-hashcode on var3 and var4", var3.equals(var4) ? var3.hashCode() == var4.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var4 and var3
	    assertTrue("Contract failed: equals-hashcode on var4 and var3", var4.equals(var3) ? var4.hashCode() == var3.hashCode() : true);

	  }

	  public void test19() throws Throwable {

	    java.lang.Double var0 = new java.lang.Double(0.0d);
	    java.lang.Integer var1 = new java.lang.Integer(1);
	    com.domainlanguage.time.Duration var2 = com.domainlanguage.time.Duration.seconds((int)var1);
	    com.domainlanguage.time.TimeRate var3 = new com.domainlanguage.time.TimeRate(var0, var2);
	    com.domainlanguage.time.TimeRate var4 = new com.domainlanguage.time.TimeRate(var0, var2);
	    boolean var5 = var3.equals(var3);
	    
	    // Checks the contract:  equals-hashcode on var3 and var4
	    assertTrue("Contract failed: equals-hashcode on var3 and var4", var3.equals(var4) ? var3.hashCode() == var4.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var4 and var3
	    assertTrue("Contract failed: equals-hashcode on var4 and var3", var4.equals(var3) ? var4.hashCode() == var3.hashCode() : true);

	  }

	  public void test20() throws Throwable {

	    java.lang.Integer var0 = new java.lang.Integer(0);
	    com.domainlanguage.time.TimePoint var1 = com.domainlanguage.time.TimePoint.atGMT((int)var0, (int)var0, (int)var0, (int)var0, (int)var0, (int)var0, (int)var0);
	    com.domainlanguage.time.TimeInterval var2 = com.domainlanguage.time.TimeInterval.everPreceding(var1);
	    
	    // Checks the contract:  var2.equals(var2)
	    assertTrue("Contract failed: var2.equals(var2)", var2.equals(var2));

	  }

	  public void test21() throws Throwable {

	    java.lang.Integer var0 = new java.lang.Integer(0);
	    com.domainlanguage.time.Duration var1 = com.domainlanguage.time.Duration.days((int)var0);
	    java.lang.Integer var2 = new java.lang.Integer(1);
	    com.domainlanguage.time.Duration var3 = com.domainlanguage.time.Duration.weeks((int)var2);
	    com.domainlanguage.time.Duration var4 = var1.plus(var3);
	    
	    // Checks the contract:  equals-hashcode on var3 and var4
	    assertTrue("Contract failed: equals-hashcode on var3 and var4", var3.equals(var4) ? var3.hashCode() == var4.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var4 and var3
	    assertTrue("Contract failed: equals-hashcode on var4 and var3", var4.equals(var3) ? var4.hashCode() == var3.hashCode() : true);

	  }

	  public void test22() throws Throwable {

	    java.lang.Long var0 = new java.lang.Long(1L);
	    com.domainlanguage.time.TimePoint var1 = com.domainlanguage.time.TimePoint.from((long)var0);
	    com.domainlanguage.time.TimeInterval var2 = com.domainlanguage.time.TimeInterval.everPreceding(var1);
	    
	    // Checks the contract:  var2.equals(var2)
	    assertTrue("Contract failed: var2.equals(var2)", var2.equals(var2));

	  }

	  public void test23() throws Throwable {

	    java.lang.Integer var0 = new java.lang.Integer(0);
	    com.domainlanguage.time.TimePoint var1 = com.domainlanguage.time.TimePoint.atGMT((int)var0, (int)var0, (int)var0, (int)var0, (int)var0, (int)var0, (int)var0);
	    com.domainlanguage.time.TimeInterval var2 = com.domainlanguage.time.TimeInterval.everPreceding(var1);
	    
	    // Checks the contract:  var2.equals(var2)
	    assertTrue("Contract failed: var2.equals(var2)", var2.equals(var2));

	  }
}
